The C Programming Language - PDFSEARCH.IO - Document Search Engine

The C Programming Language
Results: 2005

#	Item
391	aiT for M68020 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Compilers Real-time computing Worst-case execution time Programming language implementation GNU Compiler Collection C Toolchain 64-bit Software Computing Computer programming
392	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.6) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-09-19 09:34:02 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
393	4.Syntax This section presents an informal syntax for Joule. For a formal syntax, see Appendix B. Syntactic abstraction, the set of techniques for extending the Joule syntax, is discussed but not specified in this docum Add to Reading List Source URL: erights.org Language: English - Date: 2004-12-04 19:43:55 Procedural programming languages Cross-platform software Lisp Lisp programming language Scheme Regular expression C ALGOL 68 SQL Software engineering Computing Programming language theory
394	Writing Functions in Scheme Suppose we want a function ct which takes a list of symbols and returns the number of symbols in the list (ct ’(a b c)) →→ 3 (ct ’()) →→ 0 (ct ’(x y z w t)) →→ 5 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Lisp programming language Data types Functional programming Procedural programming languages Programming idioms Scheme CAR and CDR Null T Computer programming Software engineering Computing
395	Nonstationarity: patching Jon Claerbout There are many reasons for cutting data planes or image planes into overlapping pieces (patches), operating on the pieces, and then putting them back together again, as depicted in Add to Reading List Source URL: www.reproducibility.org Language: English - Date: 2013-11-11 23:05:17 C programming language International Obfuscated C Code Contest Four-square cipher
396	Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 17:26:28 External variable Futures and promises Environment variable Free variables and bound variables Variable Closure SystemVerilog Software engineering Computing Synchronous programming language
397	WG14 N1843 Business Plan and Convener’s Report ISO/IEC JTC 1/SC 22/WG 14 (The Programming Language C) Document: ISO/IEC JTC 1/SC 22/WG 14 N1843 Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-07-09 09:10:59 C programming language ISO/IEC JTC1 International Organization for Standardization Robert C. Seacord ANSI C SQL C American National Standards Institute ISO/IEC JTC1/SC22 Computing Standards organizations Software engineering
398	RESEARCH STATEMENT JEAN YANG The goal of my research is to help programmers build more reliable software with less effort. Towards this goal, I developed a programming model that allows selective automation of specific c Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-11-30 11:20:32 Ethics Software engineering Notation Programming language Information flow Information privacy Actor model Functional programming Control flow Computing Privacy Programming paradigms
399	An evaluation of the automatic generation of parallel X86 SIMD integer instructions by GCC and ICC Isabelle Hurbain November, 15th Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-02-28 09:49:25 X86 instructions X86 architecture C programming language Concurrency control Volatile variable Parallel computing CPUID X86 MOV Computing Computer architecture Software
400	the$f&t&re$of functional programming on$iOS Ash Furrow Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2014-09-17 13:58:48 Lisp programming language Mono project Read–eval–print loop Eval Objective-C Closure C Sharp Computing Software engineering Computer programming

UPDATE